621. Mathematics and plausible reasoning
پدیدآورنده : Polya,George,
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
P57
1968
622. Mathematics and plausible reasoning
پدیدآورنده : Polya, George
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Mathematics - Philosphy , Logic, symbolic and mathematical
رده :
QA
9
.
P57
623. Mathematics and plausible reasoning princeton
پدیدآورنده : Gyorgy polya
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
624. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
625. Mathematics for computer students
پدیدآورنده : Witton, Rex
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W57
1992
626. Mathematics, models, and modality. selected philosophical
پدیدآورنده : Burgess, John P.,8491-
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
B87
2008
627. Mathematics of Fuzzy Sets
پدیدآورنده : edited by Ulrich Höhle, Stephen Ernest Rodabaugh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
628. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
629. Mathematiques et logique Retrospective et perspectives
پدیدآورنده : / Mark Kac, Stanislaw M. Ulam; traduit par Philippe Gatbois
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical,Mathematics
رده :
511
.
3
Ka-M
630. Mathematische gesetze der logik
پدیدآورنده : Schmidt, H. Arnold
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
S35
631. Meaning and existence in mathematics
پدیدآورنده : Castonguay, Charles.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
C34
632. Meaning and existence in mathematics
پدیدآورنده : Charles Castonguay,Title
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
633. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
پدیدآورنده : Walter A. Carnielli and Luiz Paulo de Alcantara
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985
634. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
پدیدآورنده : Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
635. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده : edited by C.A. Di Prisco
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
636. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
پدیدآورنده : edited by C. A. Di Prisco
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1130
637. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده : edited by C.A. Di Prisco
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
1130
638. Modelle der Mengenlehre
پدیدآورنده : Jensen, Ronald Bjour
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
37
639. Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
J54
1967
640. Modelle der Mengenlehre, Widerspruchsfreiheit und Unabhangigkeit der Kontinuum - Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
37
